#! /bin/sh -e

PREFIX=/usr/local
BIN=$PREFIX/bin
LIB=$PREFIX/lib/fsharp
SHARE=$PREFIX/share/fsharp/
MAN=$PREFIX/share/man/man1/

echo "This script will remove F# from $BIN (root access needed)"
echo
echo "Press enter to continue."

read a

rm -f $BIN/fsharpc $BIN/fsharpi $BIN/fsharpi+
rm -rf $LIB/
rm -rf $SHARE
rm -f $MAN/fsharpc.1 $MAN/fsharpi.1
